Eléments de l'association
|
List of bibliographic references
Number of relevant bibliographic references: 6.Ident. | Authors (with country if any) | Title |
---|---|---|
009D11 | Adel Bouhoula [États-Unis, France] ; Jean-Pierre Jouannaud [France] ; José Meseguer [États-Unis] | Specification and proof in membership equational logic |
00BC14 | Adel Bouhoula [États-Unis, France] ; Jean-Pierre Jouannaud [États-Unis, France] ; José Meseguer [États-Unis] | Specification and proof in membership equational logic |
00BC71 | Adel Bouhoula [États-Unis] | Automated Theorem Proving by Test Set Induction |
00C023 | Narjes Berregeb [France] ; Adel Bouhoula [France, États-Unis] ; Michaël Rusinowitch [France] | SPIKE-AC: A system for proofs by induction in Associative-Commutative theories |
00C090 | Narjes Berregeb [France] ; Adel Bouhoula [France] ; Michaël Rusinowitch [États-Unis, France] | Automated verification by induction with associative-commutative operators |
00C110 | Adel Bouhoula [France, États-Unis] | A general framework for mechanizing induction using test set |
This area was generated with Dilib version V0.6.33. |